axiom of constructivity
可构成性公理
热门查询
- fifty n. 五十；五十个；编号为50的东西 adj. 五十的；五十个的；众多的
- Barnstaple n. (Barnstaple)人名；(英)巴恩斯特普尔 巴恩斯特珀尔
- mythical adj. 神话的；虚构的
- divorce n. 离婚；分离 vt. 使离婚，使分离；与…离婚 vi. 离婚
- vic n. 飞机V字队形编队 n. (Vic)人名；(英、法)维克；(西)比克
- formerly adv. 以前；原来
- COMPAQ n. 康柏电脑公司（美著名电脑制造商）
- misinform vt. 误传；提供错误消息
- corundum n. 金刚砂，刚玉
- penis n. 阳物；[解剖] 阴茎
- extraordinary adj. 非凡的；特别的；离奇的；临时的；特派的
- normalized adj. 标准化的；正规化的；规格化的 v. 使规范化（normalize的过去分词）；使正常化
- fortuna n. 福耳图那（罗马神话中的命运女神）
- NAFTA abbr. 北美自由贸易协定（North American Free Trade Agreement） n. (Nafta)人名；(罗)纳夫塔
- latke n. 土豆烙饼；马铃薯饼
- clomp vi. 重踏着走，重而响地走
- magnum n. 大酒瓶（容量为1.5升）；头状骨
- anorexia n. 厌食；神经性厌食症
- mystic adj. 神秘的；神秘主义的 n. 神秘主义者
- decanter n. 玻璃水瓶；滗析器；倾注洗涤器
